Buy Used and New Manuel Hermenegildo Books

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings ... Computer Science and General Issues)

by

ISBN 13: 9783642113185

Format: Paperback (397 pages)
Publisher: Springer
Published: 08 Jan 2010

Save for later

Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783540789680

Format: Paperback (337 pages)
Publisher: Springer
Published: 28 Mar 2008

Save for later

Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94, Madrid, Spain, September 14 - 16, 1994. Proceedings: 844 (Lecture Notes in Computer Science)

by Jaan Penjam,Manuel Hermenegildo

ISBN 13: 9783540584025

Format: Paperback (488 pages)
Publisher: Springer
Published: 24 Aug 1994

Save for later

Static Analysis: 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings: 2477 (Lecture Notes in Computer Science)

by German Puebla,Manuel Hermenegildo

ISBN 13: 9783540442356

Format: Paperback (548 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Practical Aspects of Declarative Languages: 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings: 3350 (Lecture Notes in Computer Science)

by Daniel Cabeza,Manuel Hermenegildo

ISBN 13: 9783540243625

Format: Illustrated (296 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later